(some_mouse_moved): Fix last change.

diff --git a/src/keyboard.c b/src/keyboard.c
index a440271a2d393927aa904c2a1950ceed9a010075..5e2a8171ff33f7d984ff52b52db9f3b4c3f6d9e9 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1453,7 +1453,7 @@ some_mouse_moved ()
 
   if (ignore_mouse_drag_p)
     {
-      //ignore_mouse_drag_p = 0;
+      /* ignore_mouse_drag_p = 0; */
       return 0;
     }